TERMIUM Plus^®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

Terme à chercher (obligatoire)

Où chercher

Domaine

calcul multi-sortes [1 fiche]

Filtrer les résultats par domaine Liste alphabétique des termes

Fiche 1 - données d’organisme interne 1996-11-20

Fiche 1, Anglais

Fiche 1, Subject field(s)

Artificial Intelligence

two-sorted predicate logic 1, fiche 1, Anglais, two%2Dsorted%20predicate%20logic
correct

two-sorted logic 1, fiche 1, Anglais, two%2Dsorted%20logic
correct
many-sorted logic 1, fiche 1, Anglais, many%2Dsorted%20logic
correct
many-sorted calculus 2, fiche 1, Anglais, many%2Dsorted%20calculus
correct

Record number: 1, Textual support number: 1 DEF

Logic employed in many AI applications. It admits two or more distinct sorts of variables. This logic admits variables of sort instants, events, and actions. 1, fiche 1, Anglais, - two%2Dsorted%20predicate%20logic

Record number: 1, Textual support number: 1 OBS

Contrast with multivalued logic. 1, fiche 1, Anglais, - two%2Dsorted%20predicate%20logic

Fiche 1, Français

Fiche 1, Domaine(s)

Intelligence artificielle

calcul multi-sortes 1, fiche 1, Français, calcul%20multi%2Dsortes
correct, nom masculin

logique multi-sortes 1, fiche 1, Français, logique%20multi%2Dsortes
correct, nom féminin

Fiche 1, Espagnol

Conserver la fiche 1

Avis de droit d’auteur pour la banque de données TERMIUM Plus^®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus^®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :: 2024-05-12

Sélection de la langue

Recherche et menus

Recherche

TERMIUM Plus^®

calcul multi-sortes [1 fiche]

Fiche 1 - données d’organisme interne 1996-11-20

Fiche 1, Anglais

Fiche 1, Subject field(s)

Fiche 1, La vedette principale, Anglais

Fiche 1, Les abréviations, Anglais

Fiche 1, Les synonymes, Anglais

Fiche 1, Justifications, Anglais

Record number: 1, Textual support number: 1 DEF

Record number: 1, Textual support number: 1 OBS

Fiche 1, Français

Fiche 1, Domaine(s)

Fiche 1, La vedette principale, Français

Fiche 1, Les abréviations, Français

Fiche 1, Les synonymes, Français

Fiche 1, Justifications, Français

Fiche 1, Espagnol

Fiche 1, Justifications, Espagnol